Function isotope::parser::judgement[][src]

pub fn judgement(input: &str) -> IResult<&str, Judgement>
Expand description

Parse a typing judgement